On the Suitability of WS-CDL for Choreography Modeling
نویسندگان
چکیده
TheWeb Service Choreography Description Language (WS-CDL) has been put forward as language for capturing sets of web service interactions and their control and data dependencies, seen from a global perspective. However the suitability of WS-CDL for this purpose has not been assessed in a systematic manner. This paper presents such an assessment by adopting a two-pronged approach. First, the paper studies the relation between WS-CDL and π-calculus, a well-known formalism for specifying communicating systems with dynamic topologies. Second, WS-CDL is assessed in terms of its support for two collections of patterns: the Workflow Patterns which capture recurrent control-flow dependencies in business processes, and the Service Interaction Patterns which capture recurrent compositions of interactions between services.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملPattern-based Evaluation of WS-CDL
The Web Service Choreography Description Language (WSCDL) has been put forward as language for capturing sets of web service interactions and their control and data dependencies, seen from a global perspective. However the suitability of WS-CDL for this purpose has not been assessed in a systematic manner. This paper presents such an assessment by adopting a two-pronged approach. First, the pap...
متن کاملA Comparison of Visual Modeling Notations for Web Services Choreography
The Web Services Choreography Description Language (WS-CDL) is an XML-based language for specifying business protocols for \emph{web services enabled} collaborative processes. The use of visual notations in modeling web services choreography has so far been done in an ad hoc fashion as seen in the literature. This paper presents a choreography example in four different visual modeling notations...
متن کاملTowards the Formal Model and Verification of Web Service Choreography Description Language
The Web Services Choreography Description Language (WS-CDL) is a W3C specification for the description of peer-to-peer collaborations of participants from a global viewpoint. For the rigorous development and tools support for the language, the formal semantics of WS-CDL is worth investigating. This paper proposes a small language CDL as a formal model of the simplified WSCDL, which includes imp...
متن کاملType Checking Choreography Description Language
The Web Services Choreography Description Language (WS-CDL) is a W3C specification developed for the description of peer-to-peer collaborations of participants from a global viewpoint. Currently WS-CDL has no rigorous static type checking. We believe that introducing a type system will exclude many design and description errors, and ensure desirable properties of the choreography specifications...
متن کامل